Big Huge Thesaurus

logic programming

noun

sounds kind of like